単語帖ユニフィケーション文法，ISIS，SOR，OLTP - 共立出版コンピュータサイエンス誌『bit』